00:00
2026-05-23
korbonits.com
artificial-intelligence
The Verification Problem
OpenAI announced in May that an internal model disproved Erdős's planar unit-distance conjecture, a problem unsolved since 1946, with the result verified by nine mathematicians including Thomas Bloom.…